home *** CD-ROM | disk | FTP | other *** search
/ Chip 2005 June / ccd0605.iso / Software / Freeware / Programare / highlight / highlight-W32GUI-2.2-10b-Setup.exe / {app} / langDefs / agda.lang < prev    next >
Text File  |  2004-07-06  |  890b  |  28 lines
  1. # Agda language definition file
  2. #
  3. # Author: AndrΘ Simon
  4. #   Mail: andre.simon1@gmx.de
  5. #   Date: 21.11.2002
  6. # ------------------------------------------
  7. # This file is a part of highlight, a free source code converter released under the GPL.
  8. #
  9. # The file is used to describe keywords and special symbols of programming languages.
  10. # See README in the highlight directory for details.
  11. #
  12. # New definition files for future releases of highlight are always appreciated ;)
  13. #
  14. # ----------
  15. # andre.simon1@gmx.de
  16. # http:/www.andre-simon.de/
  17.  
  18. $KW_LIST(kwa)=abstract case concrete data do in interface let module mutual of open native 
  19. package postulate private public sig struct type use set type
  20.  
  21. $KW_LIST(kwb)= integer int float double bool char
  22. $STRINGDELIMITERS=" '
  23. $SL_COMMENT=--
  24. $ML_COMMENT={- -}
  25. $IGNORECASE=true
  26.  
  27. $SYMBOLS= ( ) [ ] { } , ; : & | < > !  = / *  %  + -
  28.